<?php

function stringify($obj)
{
  return json_encode($obj, JSON_UNESCAPED_UNICODE);
}
